<!DOCTYPE html>
<html>
    <head>
        <meta charset="utf-8">
        <style>
            a:visited { color: darkblue; }
            a:link    { color: darkblue; text-decoration: none; }
            a:hover   { color: red; font-weight: bold; }

            table             { border-spacing: 0; }
            td                { border-right: 1px solid black; border-bottom: 1px solid black; padding: 5px; }
            td:first-child    { border-left: 1px solid black; }
            tr:first-child td { border-top: 1px solid black; }
        </style>
    </head>
    <body>
        <p><a name="state0"><b>0</b></a> : S&apos;</p>
        <table>
            <tr><td>S&apos; &rarr; . S</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . a A a</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . a B b</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . a C c</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . b A b</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . b B a</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . b C a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;S: goto <a href="#state1">1</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state2">2</a></p>
            <p>&nbsp;&nbsp;b: shift to <a href="#state3">3</a></p>

        <p><a name="state1"><b>1</b></a> * : S</p>
        <table>
            <tr><td>S&apos; &rarr; S . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S&apos; &rarr; S .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
        </p>

        <p><a name="state2"><b>2</b></a> : a</p>
        <table>
            <tr><td>S &rarr; a . A a</td></tr>
            <tr><td>S &rarr; a . B b</td></tr>
            <tr><td>S &rarr; a . C c</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . a a</td></tr>
            <tr><td bgcolor="lightgray">B &rarr; . a a</td></tr>
            <tr><td bgcolor="lightgray">C &rarr; . a a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;A: goto <a href="#state4">4</a></p>
            <p>&nbsp;&nbsp;B: goto <a href="#state5">5</a></p>
            <p>&nbsp;&nbsp;C: goto <a href="#state6">6</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state7">7</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
        </p>

        <p><a name="state3"><b>3</b></a> : b</p>
        <table>
            <tr><td>S &rarr; b . A b</td></tr>
            <tr><td>S &rarr; b . B a</td></tr>
            <tr><td>S &rarr; b . C a</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . a a</td></tr>
            <tr><td bgcolor="lightgray">B &rarr; . a a</td></tr>
            <tr><td bgcolor="lightgray">C &rarr; . a a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;A: goto <a href="#state8">8</a></p>
            <p>&nbsp;&nbsp;B: goto <a href="#state9">9</a></p>
            <p>&nbsp;&nbsp;C: goto <a href="#state10">10</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state18">18</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
        </p>

        <p><a name="state4"><b>4</b></a> : A</p>
        <table>
            <tr><td>S &rarr; a A . a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state11">11</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state2">2</a>
        </p>

        <p><a name="state5"><b>5</b></a> : B</p>
        <table>
            <tr><td>S &rarr; a B . b</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;b: shift to <a href="#state12">12</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state2">2</a>
        </p>

        <p><a name="state6"><b>6</b></a> : C</p>
        <table>
            <tr><td>S &rarr; a C . c</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;c: shift to <a href="#state13">13</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state2">2</a>
        </p>

        <p><a name="state7"><b>7</b></a> : a</p>
        <table>
            <tr><td>A &rarr; a . a</td></tr>
            <tr><td>B &rarr; a . a</td></tr>
            <tr><td>C &rarr; a . a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state14">14</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state2">2</a>
        </p>

        <p><a name="state8"><b>8</b></a> : A</p>
        <table>
            <tr><td>S &rarr; b A . b</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;b: shift to <a href="#state15">15</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state3">3</a>
        </p>

        <p><a name="state9"><b>9</b></a> : B</p>
        <table>
            <tr><td>S &rarr; b B . a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state16">16</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state3">3</a>
        </p>

        <p><a name="state10"><b>10</b></a> : C</p>
        <table>
            <tr><td>S &rarr; b C . a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state17">17</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state3">3</a>
        </p>

        <p><a name="state11"><b>11</b></a> * : a</p>
        <table>
            <tr><td>S &rarr; a A a . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; a A a .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state4">4</a>
        </p>

        <p><a name="state12"><b>12</b></a> * : b</p>
        <table>
            <tr><td>S &rarr; a B b . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; a B b .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state5">5</a>
        </p>

        <p><a name="state13"><b>13</b></a> * : c</p>
        <table>
            <tr><td>S &rarr; a C c . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; a C c .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state6">6</a>
        </p>

        <p><a name="state14"><b>14</b></a> * : a</p>
        <table>
            <tr><td>A &rarr; a a . {<font color="blue">a</font>}</td></tr>
            <tr><td>B &rarr; a a . {<font color="blue">b</font>}</td></tr>
            <tr><td>C &rarr; a a . {<font color="blue">c</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;A &rarr; a a .  {<font color="blue">a</font>}</p>
            <p>&nbsp;&nbsp;B &rarr; a a .  {<font color="blue">b</font>}</p>
            <p>&nbsp;&nbsp;C &rarr; a a .  {<font color="blue">c</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state7">7</a>
        </p>

        <p><a name="state15"><b>15</b></a> * : b</p>
        <table>
            <tr><td>S &rarr; b A b . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; b A b .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state8">8</a>
        </p>

        <p><a name="state16"><b>16</b></a> * : a</p>
        <table>
            <tr><td>S &rarr; b B a . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; b B a .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state9">9</a>
        </p>

        <p><a name="state17"><b>17</b></a> * : a</p>
        <table>
            <tr><td>S &rarr; b C a . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; b C a .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state10">10</a>
        </p>

        <p><a name="state18"><b>18</b></a> : a</p>
        <table>
            <tr><td>A &rarr; a . a</td></tr>
            <tr><td>B &rarr; a . a</td></tr>
            <tr><td>C &rarr; a . a</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state19">19</a></p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state3">3</a>
        </p>

        <p><a name="state19"><b>19</b></a> * : a</p>
        <table>
            <tr><td>A &rarr; a a . {<font color="blue">b</font>}</td></tr>
            <tr><td>B &rarr; a a . {<font color="red">a</font>}</td></tr>
            <tr><td>C &rarr; a a . {<font color="red">a</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;A &rarr; a a .  {<font color="blue">b</font>}</p>
            <p>&nbsp;&nbsp;B &rarr; a a .  {<font color="red">a</font>}</p>
            <p>&nbsp;&nbsp;C &rarr; a a .  {<font color="red">a</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state18">18</a>
        </p>
        <p>reduce-reduce conflict on a:</p>
            <p>&nbsp;&nbsp;reduce: B &rarr; a a . {<font color="red">a</font>}</p>
            <p>&nbsp;&nbsp;reduce: C &rarr; a a . {<font color="red">a</font>}</p>
    </body>
<html>
